On Smooth Locally O-minimal Functions
نویسنده
چکیده
We study the smooth functions which are locally definable in an o-minimal expansion of the real exponential field with some additional smoothness conditions. Here, the local definability generalizes the subanalytic setting to more transcendental sets and functions. The focus is set on the locally definable diffeomorphisms between manifolds, for which we prove analogies to classical differential geometric results. Moreover, we investigate the relation between classical diffeomorphy and locally definable diffeomorphy.
منابع مشابه
Locally polynomially bounded structures
We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise im...
متن کاملOn the dual of certain locally convex function spaces
In this paper, we first introduce some function spaces, with certain locally convex topologies, closely related to the space of real-valued continuous functions on $X$, where $X$ is a $C$-distinguished topological space. Then, we show that their dual spaces can be identified in a natural way with certain spaces of Radon measures.
متن کاملConcerning the frame of minimal prime ideals of pointfree function rings
Let $L$ be a completely regular frame and $mathcal{R}L$ be the ring of continuous real-valued functions on $L$. We study the frame $mathfrak{O}(Min(mathcal{R}L))$ of minimal prime ideals of $mathcal{R}L$ in relation to $beta L$. For $Iinbeta L$, denote by $textit{textbf{O}}^I$ the ideal ${alphainmathcal{R}Lmidcozalphain I}$ of $mathcal{R}L$. We show that sending $I$ to the set of minimal prime ...
متن کاملZero Sets of Smooth Functions in the Pfaffian Closure of an O-minimal Structure
I show that in an o-minimal structure on the real field, satisfying certain conditions, every closed definable set is the zero set of a smooth definable function. The conditions are shown to hold in the Pfaffian closure of a polynomially bounded o-minimal structure having smooth cell decomposition.
متن کاملQuasi-Gap and Gap Functions for Non-Smooth Multi-Objective Semi-Infinite Optimization Problems
In this paper, we introduce and study some new single-valued gap functions for non-differentiable semi-infinite multiobjective optimization problems with locally Lipschitz data. Since one of the fundamental properties of gap function for optimization problems is its abilities in characterizing the solutions of the problem in question, then the essential properties of the newly introduced ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008